Table of stars with Bayer designations

Results: 122



#Item
61Symbol / Table of stars with Bayer designations

Noname manuscript No. (will be inserted by the editor) Improved Error Bounds for Floating-Point Products and Horner’s Scheme ¨

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2014-11-03 07:23:47
62Symbol / Cohomology / Vector bundle / Blowing up / Spectral theory / Fiber bundles / Table of stars with Bayer designations / Generalised Whitehead product

661 Documenta Math. Decomposable Cycles and Noether-Lefschetz Loci Kieran G. O’Grady1

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2016-06-17 04:53:15
63Fourier analysis / Fourier transform / Joseph Fourier / Symbol / Table of stars with Bayer designations

arXiv:1308.2701v2 [math.PR] 7 NovIntersection local times, loop soups and permanental Wick powers Yves Le Jan

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2013-11-10 23:24:56
64Constructible universe / Character encoding / Digital typography / Symbol / Table of stars with Bayer designations

1 Documenta Math. Statistics of Lattice Points in Thin Annuli for Generic Lattices

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2006-05-07 16:01:21
65Operator theory / Symbol / Constructible universe / Operator / Table of stars with Bayer designations / Differential forms on a Riemann surface

465 Documenta Math. Anticyclotomic Main Conjectures To John Coates

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2006-11-21 15:14:28
66Constructible universe / Character encoding / Digital typography / Symbol / Table of stars with Bayer designations

1 Documenta Math. Statistics of Lattice Points in Thin Annuli for Generic Lattices

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2006-05-07 16:01:21
67Differential geometry / Xi / Spectral theory / Symbol / Table of stars with Bayer designations

Rigorous Runtime Analysis of the (1+1) ES: 1/5-Rule and Ellipsoidal Fitness Landscapes Jens J¨ agersk¨ upper⋆ Dept. of Computer Science 2, Univ. Dortmund, 44221 Dortmund, Germany

Add to Reading List

Source URL: ls2-www.cs.uni-dortmund.de

Language: English - Date: 2005-06-09 06:37:27
68Signal processing / Functional analysis / Integral transforms / Timefrequency analysis / Wavelets / Fourier transform / Radon transform / Fast wavelet transform / Distribution / Table of stars with Bayer designations / Beta distribution

Wavelet Methods for Inverting the Radon Transform with Noisy Data Nam-Yong Lee and Bradley J. Lucier, Senior Member, IEEE Abstract—Because the Radon transform is a smoothing transform, any noise in the Radon data becom

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2000-06-13 12:52:29
69Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Computability theory / Table of stars with Bayer designations / Symbol

Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2011-09-08 07:51:15
70Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Differential topology / Symbol / Table of stars with Bayer designations

Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-08-29 08:54:52
UPDATE